Program transformation - PDFSEARCH.IO - Document Search Engine

Program transformation
Results: 424

#	Item
411	Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-04-17 02:44:58 Algebra Monad Kan extension Natural transformation Equivalence of categories Limit Universal property Functor Sheaf Adjoint functors Category theory Abstract algebra
412	doi:[removed]j.entcs[removed] Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2005-05-20 13:55:48 Computing Programming language implementation Programming language theory Compiler Static single assignment form Constant folding Natural transformation Program optimization Conditional Software engineering Compiler optimizations Compiler construction
413	Advanced Slicing of Sequential and Concurrent Add to Reading List Source URL: www.opus-bayern.de Language: English - Date: 2010-11-02 14:59:32 Debugging Program analysis Program slicing Program transformation Software maintenance Compilers GrammaTech Data-flow analysis Slicing Computing Software engineering Programming language theory
414	Information Age Transformation Series Complexity Add to Reading List Source URL: www.dodccrp.org Language: English - Date: 2012-10-03 12:00:00 Military Command and Control Research Program David S. Alberts Net-centric Network-centric warfare Information Age John J. Garstka Information warfare Military science Command and control Military organization
415	Network Centric Warfare: Background and Oversight Issues for Congress Add to Reading List Source URL: www.fas.org Language: English - Date: 2005-04-05 20:09:35 Net-centric Network-centric warfare Command and Control Research Program Defense Information Systems Agency Global Information Grid Office of Force Transformation Military communications C4ISTAR John J. Garstka Military science Command and control Military
416	MEP: Demonstration Project Teacher Support Y9A Add to Reading List Source URL: www.cimt.plymouth.ac.uk Language: English - Date: 2008-11-11 09:20:06 Triangles Congruence Transformation geometry Erlangen program Rotation Non-Euclidean geometry Similarity Angle Group Geometry Symmetry Euclidean geometry
417	Network Centric Operations: Background and Oversight Issues for Congress Add to Reading List Source URL: www.fas.org Language: English - Date: 2007-04-26 11:48:35 Network-centric warfare John J. Garstka Command and Control Research Program Office of Force Transformation NCO Swarming Transformation Battle command knowledge system Network Centric Operations Industry Consortium Net-centric Military Command and control
418	PDF Document Add to Reading List Source URL: www.semanticdesigns.com Language: English - Date: 2005-03-16 16:02:52 Software testing Compiler construction Cross-platform software Program transformation Code coverage Mutation testing Compiler C++ C Software engineering Computing Computer programming
419	PDF Document Add to Reading List Source URL: www.semdesigns.com Language: English - Date: 2005-03-16 16:02:52 Software testing Compiler construction Cross-platform software Program transformation Code coverage Mutation testing Compiler C++ C Software engineering Computing Computer programming
420	PDF Document Add to Reading List Source URL: www.gao.gov Language: English - Date: 2008-09-08 12:56:04 Business Transformation Agency Military acquisition Human resource management Government Government procurement in the United States Critical infrastructure protection Department of Defense Whistleblower Program United States Department of Defense Defense Integrated Military Human Resources System United States federal executive departments